Modular Logic MetaprogrammingKLOSE, Karl; OSTERMANN, Klaus.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 484-503, issn 1523-2867, 20 p.Conference Paper

Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'10)ACM SIGPLAN notices. 2010, Vol 45, Num 10, issn 1523-2867, 981 p.Conference Proceedings

Agility in ContextHODA, Rashina; KRUCHTEN, Philippe; NOBLE, James et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 74-88, issn 1523-2867, 15 p.Conference Paper

Tribal OwnershipCAMERON, Nicholas; NOBLE, James; WRIGSTAD, Tobias et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 618-633, issn 1523-2867, 16 p.Conference Paper

Homogeneous Family SharingXIN QI; MYERS, Andrew C.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 520-538, issn 1523-2867, 19 p.Conference Paper

Specifying and Implementing RefactoringsSCHÄFER, Max; DE MOOR, Oege.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 286-301, issn 1523-2867, 16 p.Conference Paper

Composable Specifications for Structured Shared-Memory CommunicationWOOD, Benjamin P; SAMPSON, Adrian; CEZE, Luis et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 140-159, issn 1523-2867, 20 p.Conference Paper

Efficient Modular Glass Box Software Model CheckingROBERSON, Michael; BOYAPATI, Chandrasekhar.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 4-21, issn 1523-2867, 18 p.Conference Paper

G-Finder: Routing Programming Questions Closer to the ExpertsWEI LI; ZHANG, Charles; SONGLIN HU et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 62-73, issn 1523-2867, 12 p.Conference Paper

Instrumentation and Sampling Strategies for Cooperative Concurrency Bug IsolationGUOLIANG JIN; THAKUR, Aditya; LIBLIT, Ben et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 241-255, issn 1523-2867, 15 p.Conference Paper

Ownership and Immutability in Generic JavaZIBIN, Yoav; POTANIN, Alex; LI, Paley et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 598-617, issn 1523-2867, 20 p.Conference Paper

Patterns and Statistical Analysis for Understanding Reduced Resource ComputingRINARD, Martin; HOFFMANN, Henry; MISAILOVIC, Sasa et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 806-821, issn 1523-2867, 16 p.Conference Paper

A Study of Java's Non-Java MemoryOGATA, Kazunori; MIKURUBE, Dai; KAWACHIYA, Kiyokuni et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 191-204, issn 1523-2867, 14 p.Conference Paper

Better Science Through ArtGABRIEL, Richard P; SULLIVAN, Kevin J.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 885-900, issn 1523-2867, 16 p.Conference Paper

Concurrency by Modularity: Design Patterns, a Case in PointRAJAN, Hridesh; KAUTZ, Steven M; ROWCLIFFE, Wayne et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 790-805, issn 1523-2867, 16 p.Conference Paper

Programming With Time: Cyber-physical programming with ImpromptuSORENSEN, Andrew; GARDNER, Henry.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 822-834, issn 1523-2867, 13 p.Conference Paper

Task Types for Pervasive AtomicityKULKARNI, Aditya; LIU, Yu David; SMITH, Scott F et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 671-690, issn 1523-2867, 20 p.Conference Paper

Managing Ambiguity in Programming by Finding Unambiguous ExamplesARNOLD, Kenneth C; LIEBERMAN, Henry.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 877-884, issn 1523-2867, 8 p.Conference Paper

Monitor Optimization via Stutter-Equivalent Loop TransformationPURANDARE, Rahul; DWYER, Matthew B; ELBAUM, Sebastian et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 270-285, issn 1523-2867, 16 p.Conference Paper

Parallel Inclusion-based Points-to AnalysisMENDEZ-LOJO, Mario; MATHEW, Augustine; PINGALI, Keshav et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 428-443, issn 1523-2867, 16 p.Conference Paper

Type Classes as Objects and ImplicitsOLIVEIRA, Bruno C. D. S; MOORS, Adriaan; ODERSKY, Martin et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 341-360, issn 1523-2867, 20 p.Conference Paper

A Dynamic Evaluation of the Precision of Static Heap AbstractionsLIANG, Percy; TRIPP, Omer; NAIK, Mayur et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 411-427, issn 1523-2867, 17 p.Conference Paper

An Input-Centric Paradigm for Program Dynamic OptimizationsKAI TIAN; YUNLIAN JIANG; ZHANG, Eddy Z et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 125-139, issn 1523-2867, 15 p.Conference Paper

Concurrent Programming with Revisions and Isolation TypesBURCKHARDT, Sebastian; BALDASSIN, Alexandro; LEIJEN, Daan et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 691-707, issn 1523-2867, 17 p.Conference Paper

Pure and Declarative Syntax Definition: Paradise Lost and RegainedKATS, Lennart C. L; VISSER, Eelco; WACHSMUTH, Guido et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 918-932, issn 1523-2867, 15 p.Conference Paper